<div id="header">
<h1><a href="index.php" class="selected" accesskey="1">LTI Extensions</a></h1>
<!-- <?php var_dump($_ENV); ?> -->
<!-- <?php echo($_ENV["REQUEST_URI"]); ?> -->
<?php
   function navto($arg)
   {
	echo ('href="' . $arg . '"');
   	if ( strpos($_ENV["REQUEST_URI"], $arg) )  echo ' class="selected" ';
   }
   ?>
<ul class="toolbar">
<li><a <? navto("doc.php") ?> >Documentation</a></li>
<li><a <? navto("test.php") ?> >Test Harness</a></li>
<li><a <? navto("about.php") ?> >About</a></li>
<li><a href="https://code.google.com/p/lti-ext/" target="_new">Code Repository</a></li>
<li><a href="http://www.imsglobal.org/" target="_new">IMS Global</a>
</ul>
</div>
